(make_ctrl_char): If C is a multibyte character, just

return it ORed with ctrl_modifier.

diff --git a/src/keyboard.c b/src/keyboard.c
index 097decb66a7db6316364088e54e317d302204694..20ecf203324d4db4d0a15c8638d84e6bcd51de37 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -2310,6 +2310,9 @@ make_ctrl_char (c)
   /* Save the upper bits here.  */
   int upper = c & ~0177;
 
+  if (! ASCII_BYTE_P (c))
+    return c |= ctrl_modifier;
+
   c &= 0177;
 
   /* Everything in the columns containing the upper-case letters